Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
91	Summary of Implementation Schemes for Quantum Key Distribution and Quantum Cryptography Add to Reading List Source URL: qist.lanl.gov Language: English - Date: 2004-07-27 17:15:17 Quantum cryptography Theoretical computer science Quantum information science Cryptography Quantum mechanics Emerging technologies Quantum computing Applied mathematics Quantum key distribution Squeezed coherent state Decoy state
92	Minimizing Regret with Multiple Reserves TIM ROUGHGARDEN, Stanford University JOSHUA R. WANG, Stanford University We study the problem of computing and learning non-anonymous reserve prices to maximize revenue. We first Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2016-06-20 13:32:00 Auction theory Game theory Mechanism design Auctions Mathematics Decision theory Vickrey auction VickreyClarkeGroves auction Auction VickreyClarkeGroves mechanism Matroid Linear programming
93	The lattice structure of sets of surjective hyper-operations Barnaby Martin? School of Engineering and Computing Sciences, Durham University Science Labs, South Road, Durham, DH1 3LE, UK Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-06-17 08:45:52 Mathematics Mathematical analysis Functions and mappings Mathematical logic Bijection Surjective function FO Presentation of a group Image
94	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
95	Box and Whisker Graphs The setting of Statplot in the PLOT SETUP view of the Statistics aplet controls what type of graph is drawn. The two choices are Hist (short for histogram) or BoxW (Box and Whisker). Pressing the k Add to Reading List Source URL: www.hphomeview.com Language: English Charts Graph theory Plot Graphing calculator Mathematics Graph Calculator Image histogram HP calculators Computing
96	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2014-12-15 08:13:39 Binary arithmetic Finite fields Computing Mathematics Data transmission Error detection and correction Cryptography Cyclic redundancy checks Linear-feedback shift register Parity bit Cksum Polynomial code
97	This is an electronic preprint. To be published in The 30th International Conference on Image and Vision Computing New Zealand (IVCNZ 2015). . . Add to Reading List Source URL: scribblethink.org Language: English - Date: 2016-03-15 06:18:05 Symmetry Geometry Theoretical physics Mathematics Reflection symmetry Negentropy Rotational symmetry Square Independent component analysis Rotation
98	Factorization-based Sparse Solvers and Preconditioners X. Sherry Li Lawrence Berkeley National Laboratory Add to Reading List Source URL: crd-legacy.lbl.gov Language: English - Date: 2010-09-09 14:57:06 Numerical linear algebra Mathematics Nested dissection Preconditioner Graph factorization Sparse matrix Graph partition Parallel computing Basic Linear Algebra Subprograms Incomplete LU factorization
99	Validated Solution of Large Linear Systems1 Siegfried M. Rump Dedicated to U. Kulisch on the occasion of his 60th birthday Abstract Some new methods will be presented for computing verified inclusions of the solution of Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-24 03:59:24 Algebra Linear algebra Mathematics Matrix theory Matrices Numerical linear algebra Spectral theory Matrix Eigenvalues and eigenvectors Invertible matrix Triangular matrix Symmetric matrix
100	Detecting and Parsing Architecture at City Scale from Range Data Alexander Toshev GRASP Laboratory University of Pennsylvania Philadelphia, PA, USA Add to Reading List Source URL: www.cs.stevens.edu Language: English - Date: 2010-03-31 23:04:19 Knowledge representation Planar graph Parsing Tree Topology Discrete mathematics Computing Electromagnetism